- semicomputable predicate
- Математика: полувычислимый предикат
Универсальный англо-русский словарь. Академик.ру. 2011.
semicomputable predicate
Смотреть что такое "semicomputable predicate" в других словарях:
Computable function — Total recursive function redirects here. For other uses of the term recursive function , see Recursive function (disambiguation). Computable functions are the basic objects of study in computability theory. Computable functions are the formalized … Wikipedia
